Two-stage piece-wise linearization methodZIVANOVIC, D. B; ARSIC, M. Z; DJORDJEVIC, J. R et al.International journal of modelling & simulation. 2004, Vol 24, Num 2, pp 85-89, issn 0228-6203, 5 p.Article

Des éléments pour un modèle : la lutte des classes ! = Elements for model : the class struggleMAHE, Serge-André; RICCIO, Pierre-Michel; VAILLIES, Sophie et al.Génie logiciel (1995). 2001, Num 58, pp 47-51, issn 1265-1397Article

Modelling musical structuresZIMMERMANN, Detlev.Constraints (Dordrecht). 2001, Vol 6, Num 1, pp 53-83, issn 1383-7133Conference Paper

Parallel and distributed processing (Cancun, 1-5 May 2000)Rolim, José.Lecture notes in computer science. 2000, issn 0302-9743, isbn 3-540-67442-X, XXIII, 1311 p, isbn 3-540-67442-XConference Proceedings

A first step towards the integration of accident reports and constructive design documentsJOHNSON, C.Lecture notes in computer science. 1999, pp 286-296, issn 0302-9743, isbn 3-540-66488-2Conference Paper

Beating the millennium clockCHIN, K.Chemical engineering (New York, NY). 1998, Vol 105, Num 8, pp 147-152, issn 0009-2460, 4 p.Article

On the estimation of the throughput for a class of stochastic resources sharing systemsBRILMAN, M; VINCENT, J.-M.Mathematics of operations research. 1998, Vol 23, Num 2, pp 305-321, issn 0364-765XArticle

A parallel solver for animal geneticsMADSEN, P; LARSEN, M.Lecture notes in computer science. 1998, pp 304-308, issn 0302-9743, isbn 3-540-65414-3Conference Paper

Hyper-rectangle selection strategy for parallel adaptive numerical integrationCIEGIS, R; SABLINSKAS, R; WASNIEWSKI, J et al.Lecture notes in computer science. 1998, pp 71-75, issn 0302-9743, isbn 3-540-65414-3Conference Paper

New serial and parallel recursive QR factorization algorithms for SMP systemsELMROTH, E; GUSTAVSON, F.Lecture notes in computer science. 1998, pp 120-128, issn 0302-9743, isbn 3-540-65414-3Conference Paper

Parallel sparse matrix computations in the industrial strength PINEAPL LibraryKROMMER, A. R.Lecture notes in computer science. 1998, pp 281-285, issn 0302-9743, isbn 3-540-65414-3Conference Paper

Iterative solution of dense linear systems arising from integral equationsRAHOLA, J.Lecture notes in computer science. 1998, pp 460-467, issn 0302-9743, isbn 3-540-65414-3Conference Paper

Portable implementation of real-time signal processing benchmarks on HPC platformsJINWOO SUH; PRASANNA, V. K.Lecture notes in computer science. 1998, pp 527-536, issn 0302-9743, isbn 3-540-65414-3Conference Paper

Forward dependence folding as a method of communication optimization in SPMD programsSZCZERBINSKI, Z.Lecture notes in computer science. 1998, pp 543-550, issn 0302-9743, isbn 3-540-65414-3Conference Paper

Comp.specification.z and Z FORUM frequently asked questionsBOWEN, J. P.Lecture notes in computer science. 1998, pp 407-415, issn 0302-9743, isbn 3-540-65070-9Conference Paper

Why your intelligent systems could be well and truly hung over in the year 2000NICHOLLS, G.Energy world (Monthly). 1997, Num 254, issn 0307-7942, p. 20Article

Propositions pour la maîtrise de la programmation par échange de messages = Propositions to master message passing programmingDillon, Eric; Guyard, Jacques.1997, 161 p.Thesis

PaCT-97 : parallel computing technologies (Yaroslav, September 8-12, 1997)Malyshkin, Victor.Lecture notes in computer science. 1997, issn 0302-9743, isbn 3-540-63371-5, XIII, 454 p, isbn 3-540-63371-5Conference Proceedings

A graphic notation for formal specifications of dynamic systemsREGGIO, G; LAROSA, M.Lecture notes in computer science. 1997, pp 40-61, issn 0302-9743, isbn 3-540-63533-5Conference Paper

Applicability of program comprehension to sparse matrix computationsKESSLER, C. W.Lecture notes in computer science. 1997, pp 347-351, issn 0302-9743, isbn 3-540-63440-1Conference Paper

Experiences in analyzing data dependences for programs with pointers and structuresAMME, W; ZEHENDNER, E.Lecture notes in computer science. 1997, pp 342-346, issn 0302-9743, isbn 3-540-63440-1Conference Paper

PNtalk : a computerized tool for Object Oriented Petri Nets modellingCESKA, M; JANOUSEK, V; VOJNAR, T et al.EUROCAST '97International conference on computer aided systems theory and technology. 1997, pp 229-231, isbn 84-88912-04-8Conference Paper

Practical compile-time analysisRYDER, B. G.Lecture notes in computer science. 1997, pp 406-412, issn 0302-9743, isbn 3-540-63468-1Conference Paper

Viewpoint consistency in Z and LOTOS : A case studyBOITEN, E; BOWMAN, H; DERRICK, J et al.Lecture notes in computer science. 1997, pp 644-664, issn 0302-9743, isbn 3-540-63533-5Conference Paper

Génération assistée des procédures de test = Automatic generation of satellite test proceduresGARBAJOSA-SOPENA, J; WOLFF, M.Computer tools, systems engineering and competitiveness. International colloquiumOutils informatiques, ingénierie des sytèmes et compétitivité. Colloque international. 1997, pp 2.65-2.77Conference Paper